Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
231	PDF Document Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2012-12-08 09:30:00 Propositional calculus Analytic philosophers Metaphysicians Logical syntax Saul Kripke Modal logic Proposition Nathan Salmon Negation Logic Philosophy Philosophical logic
232	Analysis and Synthesis: Interdependent Operations in Chemical Language and Practice Add to Reading List Source URL: hyle.org Language: English - Date: 2013-03-20 19:45:43 Chemical formulas Formal languages Logical syntax Metalogic Chemical compound Chemical substance Chemist Chemical synthesis Chemical element Chemistry Science Logic
233	Getting picky about how to mention expressions If we want to talk about some particular sentences: i. If Snow falls and Wind blows are sentences, then Snow falls and wind blows is a sentence. The base color for our metal Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2013-10-02 19:56:32 Formal languages Quasi-quotation Metalanguage S2 Rope Quotation mark Metavariable Entailment Logic Metalogic Logical syntax
234	A Role for Formal Methodists∗ Fred B. Schneider Department of Computer Science Cornell University Ithaca, New York[removed]November 11, 1993 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-16 15:33:00 Formal methods Formal sciences Logical syntax Philosophy of mathematics Mathematical logic Formal proof Model checking Formalism Mathematical proof Logic Mathematics Science
235	TechReportVers.trudocs.dvi Add to Reading List Source URL: ecommons.library.cornell.edu Language: English - Date: 2009-10-05 21:05:43 Logical syntax Metalogic Well-formed formula Logic programming Predicate Forcing Modal logic New American Library Logic Mathematical logic Philosophical logic
236	Proof complexity of propositional default logic Add to Reading List Source URL: eprints.whiterose.ac.uk Language: English - Date: 2014-06-05 13:45:53 Proof theory Logic in computer science Automated theorem proving Propositional calculus Logical syntax Frege system Sequent Proof calculus Proof complexity Logic Mathematical logic Theoretical computer science
237	Notes for formal methods seminar Part I. Logic Richard Pettigrew Department of Philosophy University of Bristol Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:05 Propositional calculus Model theory Logical syntax Formal languages Interpretation Well-formed formula First-order logic Function Logical connective Logic Mathematical logic Mathematics
238	•• ZEITSCHRIFT FUR PHILOS Nr.17 Add to Reading List Source URL: www.kriterion.at Language: English - Date: 2012-05-24 02:56:23 Logical syntax Propositional calculus Logicians Philosophy of language Rudolf Carnap Atomic sentence Meaning Modal logic Truth Logic Philosophy Philosophical logic
239	PDF Document Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:47 Logical syntax Propositional calculus Philosophy of mathematics Paradoxes Liar paradox Entailment Truth Function Proposition Logic Philosophy Philosophical logic
240	TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: www.tug.org Language: English - Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic

UPDATE